# formal specification language

用 TLA+ 幫你驗證系統規格設計

#tla+ #formal specification language #specifying systems

Posted by ArvinH on 2021-07-18